1. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده : European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
2. Truth, syntax and modality
پدیدآورنده : edited by Hugues Leblanc.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Semantics, Congresses.
3. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
پدیدآورنده : Conference on Alternative Semantics, 0791, Temple University
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Semantics-- Congresses
رده :
BC
135
.
C56
1970
4. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
پدیدآورنده : edited by Hugues Leblanc
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970
5. Truth, syntax and modality: proceedings of the Temple University Conference on Alternative semantics
پدیدآورنده : edited by Hugues Leblance
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970
